Using First Order Logic to Validate Feature Model

نویسندگان

  • Abdelrahman Osman Elfaki
  • Somnuk Phon-Amnuaisuk
  • Chin Kuan Ho
چکیده

Feature Model (FM) is approved as a successful technique to model variability in Software Product Line (SPL), therefore it is very important to produce errorfree FM. Inconsistency in FM is addressed as key challenge in validation of FM. This paper completes the knowledge-base(KB) method for validating FM by defining a new operation, namely inconsistencyprevention. First the inconsistency in FM is categorized into four groups as a prerequisite process for inconsistency-prevention. Then the scalability of KB method for validating FM is tested. Empirical results for each operation are presented and discussed. The empirical results are employed to illustrate scalability and applicability of the proposed knowledge-base method.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Beyond First Order Logic: From number of structures to structure of numbers: Part I

We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This first part introduces the main conceps and philosophies anddiscu...

متن کامل

Beyond first order logic: From number of structures to structure of numbers: Part II

We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This second part continues to study the question of catecoricitytrans...

متن کامل

Extension of Logic regression to Longitudinal data: Transition Logic Regression

Logic regression is a generalized regression and classification method that is able to make Boolean combinations as new predictive variables from the original binary variables. Logic regression was introduced for case control or cohort study with independent observations. Although in various studies, correlated observations occur due to different reasons, logic regression have not been studi...

متن کامل

Sensorless Model Reference Adaptive Control of DFIG by Using High Frequency Signal Injection and Fuzzy Logic Control

In this paper, a new sensorless model reference adaptive method is used for direct control of active and reactive power of the doubly fed induction generator (DFIG). In order to estimate the rotor speed, a high frequency signal injection scheme is implemented. In this study, to improve the accuracy of speed estimation, two methods are suggested. First, the coefficients of proportional-integral ...

متن کامل

Steel Consumption Forecasting Using Nonlinear Pattern Recognition Model Based on Self-Organizing Maps

Steel consumption is a critical factor affecting pricing decisions and a key element to achieve sustainable industrial development. Forecasting future trends of steel consumption based on analysis of nonlinear patterns using artificial intelligence (AI) techniques is the main purpose of this paper. Because there are several features affecting target variable which make the analysis of relations...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009